// Copyright 2015, VIXL authors
// All rights reserved.
//
// Redistribution and use in source and binary forms, with or without
// modification, are permitted provided that the following conditions are met:
//
//   * Redistributions of source code must retain the above copyright notice,
//     this list of conditions and the following disclaimer.
//   * Redistributions in binary form must reproduce the above copyright notice,
//     this list of conditions and the following disclaimer in the documentation
//     and/or other materials provided with the distribution.
//   * Neither the name of ARM Limited nor the names of its contributors may be
//     used to endorse or promote products derived from this software without
//     specific prior written permission.
//
// THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS CONTRIBUTORS "AS IS" AND
// ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED
// WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE
// DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT OWNER OR CONTRIBUTORS BE LIABLE
// FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL
// DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR
// SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER
// CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY,
// OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE
// OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.


// ---------------------------------------------------------------------
// This file is auto generated using tools/generate_simulator_traces.py.
//
// PLEASE DO NOT EDIT.
// ---------------------------------------------------------------------

#ifndef VIXL_SIM_SDOT_2S_TRACE_AARCH64_H_
#define VIXL_SIM_SDOT_2S_TRACE_AARCH64_H_

const uint32_t kExpected_NEON_sdot_2S[] = {
  0x0000a16f, 0x0000fc07, 0x00000000, 0x00000000,
  0x0000b678, 0x00007c09, 0x00000000, 0x00000000,
  0x000041c0, 0x00006857, 0x00000000, 0x00000000,
  0xffffc643, 0x00004441, 0x00000000, 0x00000000,
  0xffff72c6, 0x00000aba, 0x00000000, 0x00000000,
  0xffff4149, 0xfffff4c9, 0x00000000, 0x00000000,
  0xffff5580, 0xffffecae, 0x00000000, 0x00000000,
  0xffff79cf, 0xffffff05, 0x00000000, 0x00000000,
  0xffffad37, 0x00000003, 0x00000000, 0x00000000,
  0xffffd838, 0xffffff05, 0x00000000, 0x00000000,
  0xfffff089, 0xfffffe07, 0x00000000, 0x00000000,
  0xfffffbf1, 0xfffffa93, 0x00000000, 0x00000000,
  0xfffffe40, 0xffffe26e, 0x00000000, 0x00000000,
  0xffffffc3, 0xffffb9dc, 0x00000000, 0x00000000,
  0x00000146, 0xffff82c8, 0x00000000, 0x00000000,
  0x0000053f, 0xffff72c7, 0x00000000, 0x00000000,
  0x00001ddf, 0xffff6ea8, 0x00000000, 0x00000000,
  0x000045cb, 0xffffff03, 0x00000000, 0x00000000,
  0x0000798e, 0x00007d05, 0x00000000, 0x00000000,
  0x0000b678, 0x00007c09, 0x00000000, 0x00000000,
  0x0000d647, 0x0000fa0f, 0x00000000, 0x00000000,
  0x00006609, 0x0000e587, 0x00000000, 0x00000000,
  0xffffe9d8, 0x0000c0bc, 0x00000000, 0x00000000,
  0xffff6ea7, 0x000086ab, 0x00000000, 0x00000000,
  0xffff1b76, 0x00004a34, 0x00000000, 0x00000000,
  0xffff301f, 0x0000206d, 0x00000000, 0x00000000,
  0xffff5501, 0x000006f7, 0x00000000, 0x00000000,
  0xffff8ef1, 0x000002fd, 0x00000000, 0x00000000,
  0xffffc4a1, 0x00000103, 0x00000000, 0x00000000,
  0xffffe85c, 0xffffff09, 0x00000000, 0x00000000,
  0xfffffa66, 0xfffffa9e, 0x00000000, 0x00000000,
  0xfffffd89, 0xffffe1ac, 0x00000000, 0x00000000,
  0xffffff58, 0xffffb86e, 0x00000000, 0x00000000,
  0x00000127, 0xffff7bd5, 0x00000000, 0x00000000,
  0x00000571, 0xffff414a, 0x00000000, 0x00000000,
  0x00001e8c, 0xffff1b77, 0x00000000, 0x00000000,
  0x000047d7, 0xffff82fd, 0x00000000, 0x00000000,
  0x00008368, 0xffffff03, 0x00000000, 0x00000000,
  0x000041c0, 0x00006857, 0x00000000, 0x00000000,
  0x00006609, 0x0000e587, 0x00000000, 0x00000000,
  0x0000fa0e, 0x0000d6f3, 0x00000000, 0x00000000,
  0x00007c08, 0x0000b77f, 0x00000000, 0x00000000,
  0xffffff02, 0x0000846c, 0x00000000, 0x00000000,
  0xffff82fc, 0x0000492d, 0x00000000, 0x00000000,
  0xffff70f6, 0x00001fe0, 0x00000000, 0x00000000,
  0xffff744a, 0x000006c3, 0x00000000, 0x00000000,
  0xffff82d7, 0x000002f7, 0x00000000, 0x00000000,
  0xffffb9f2, 0x00000127, 0x00000000, 0x00000000,
  0xffffe22f, 0xffffff57, 0x00000000, 0x00000000,
  0xfffffa20, 0xfffffbd9, 0x00000000, 0x00000000,
  0xfffffd0e, 0xffffe97c, 0x00000000, 0x00000000,
  0xfffffe08, 0xffffc59e, 0x00000000, 0x00000000,
  0xffffff02, 0xffff8f70, 0x00000000, 0x00000000,
  0xfffffd7c, 0xffff5581, 0x00000000, 0x00000000,
  0xffffebf1, 0xffff3020, 0x00000000, 0x00000000,
  0xfffff3b7, 0xffff70f7, 0x00000000, 0x00000000,
  0x000008ad, 0xffffec27, 0x00000000, 0x00000000,
  0xffffc643, 0x00004441, 0x00000000, 0x00000000,
  0xffffe9d8, 0x0000c0bc, 0x00000000, 0x00000000,
  0x00007c08, 0x0000b77f, 0x00000000, 0x00000000,
  0x0000fc06, 0x0000a282, 0x00000000, 0x00000000,
  0x00007d04, 0x00007a9d, 0x00000000, 0x00000000,
  0xffffff02, 0x00004705, 0x00000000, 0x00000000,
  0xffffec26, 0x00001eeb, 0x00000000, 0x00000000,
  0xffffc8c5, 0x00000648, 0x00000000, 0x00000000,
  0xffffb5c8, 0x000002cb, 0x00000000, 0x00000000,
  0xffffc15d, 0x00000146, 0x00000000, 0x00000000,
  0xffffe4ee, 0xffffffc1, 0x00000000, 0x00000000,
  0xfffffc12, 0xfffffd38, 0x00000000, 0x00000000,
  0xfffffe08, 0xfffff17d, 0x00000000, 0x00000000,
  0xfffffe06, 0xffffd8b7, 0x00000000, 0x00000000,
  0xfffffe04, 0xffffad38, 0x00000000, 0x00000000,
  0xfffffb87, 0xffff79d0, 0x00000000, 0x00000000,
  0xffffe42f, 0xffff5502, 0x00000000, 0x00000000,
  0xffffc149, 0xffff744b, 0x00000000, 0x00000000,
  0xffffb4ba, 0xffffc8c6, 0x00000000, 0x00000000,
  0xffff72c6, 0x00000aba, 0x00000000, 0x00000000,
  0xffff6ea7, 0x000086ab, 0x00000000, 0x00000000,
  0xffffff02, 0x0000846c, 0x00000000, 0x00000000,
  0x00007d04, 0x00007a9d, 0x00000000, 0x00000000,
  0x0000fc06, 0x000064be, 0x00000000, 0x00000000,
  0x00007c08, 0x00003d2f, 0x00000000, 0x00000000,
  0x00006856, 0x00001cc1, 0x00000000, 0x00000000,
  0x00004440, 0x0000055b, 0x00000000, 0x00000000,
  0x00000ab9, 0x00000258, 0x00000000, 0x00000000,
  0xfffff4c8, 0x00000149, 0x00000000, 0x00000000,
  0xffffecad, 0x0000003a, 0x00000000, 0x00000000,
  0xffffff04, 0xffffff03, 0x00000000, 0x00000000,
  0x00000002, 0xfffffba0, 0x00000000, 0x00000000,
  0xffffff04, 0xffffef53, 0x00000000, 0x00000000,
  0xfffffe06, 0xffffd5cb, 0x00000000, 0x00000000,
  0xfffffa92, 0xffffad38, 0x00000000, 0x00000000,
  0xffffe26d, 0xffff8ef2, 0x00000000, 0x00000000,
  0xffffb9db, 0xffff82d8, 0x00000000, 0x00000000,
  0xffff82c7, 0xffffb5c9, 0x00000000, 0x00000000,
  0xffff4149, 0xfffff4c9, 0x00000000, 0x00000000,
  0xffff1b76, 0x00004a34, 0x00000000, 0x00000000,
  0xffff82fc, 0x0000492d, 0x00000000, 0x00000000,
  0xffffff02, 0x00004705, 0x00000000, 0x00000000,
  0x00007c08, 0x00003d2f, 0x00000000, 0x00000000,
  0x0000fa0e, 0x000027be, 0x00000000, 0x00000000,
  0x0000e586, 0x00001337, 0x00000000, 0x00000000,
  0x0000c0bb, 0x00000360, 0x00000000, 0x00000000,
  0x000086aa, 0x00000173, 0x00000000, 0x00000000,
  0x00004a33, 0x000000de, 0x00000000, 0x00000000,
  0x0000206c, 0x00000049, 0x00000000, 0x00000000,
  0x000006f6, 0xffffffa5, 0x00000000, 0x00000000,
  0x000002fc, 0xfffffe6a, 0x00000000, 0x00000000,
  0x00000102, 0xfffffb1e, 0x00000000, 0x00000000,
  0xffffff08, 0xffffeed6, 0x00000000, 0x00000000,
  0xfffffa9d, 0xffffd839, 0x00000000, 0x00000000,
  0xffffe1ab, 0xffffc4a2, 0x00000000, 0x00000000,
  0xffffb86d, 0xffffb9f3, 0x00000000, 0x00000000,
  0xffff7bd4, 0xffffc15e, 0x00000000, 0x00000000,
  0xffff5580, 0xffffecae, 0x00000000, 0x00000000,
  0xffff301f, 0x0000206d, 0x00000000, 0x00000000,
  0xffff70f6, 0x00001fe0, 0x00000000, 0x00000000,
  0xffffec26, 0x00001eeb, 0x00000000, 0x00000000,
  0x00006856, 0x00001cc1, 0x00000000, 0x00000000,
  0x0000e586, 0x00001337, 0x00000000, 0x00000000,
  0x0000d6f2, 0x00000ade, 0x00000000, 0x00000000,
  0x0000b77e, 0x000001c1, 0x00000000, 0x00000000,
  0x0000846b, 0x000000b0, 0x00000000, 0x00000000,
  0x0000492c, 0x0000006f, 0x00000000, 0x00000000,
  0x00001fdf, 0x0000002e, 0x00000000, 0x00000000,
  0x000006c2, 0xffffffe3, 0x00000000, 0x00000000,
  0x000002f6, 0xffffff3f, 0x00000000, 0x00000000,
  0x00000126, 0xfffffe16, 0x00000000, 0x00000000,
  0xffffff56, 0xfffffad0, 0x00000000, 0x00000000,
  0xfffffbd8, 0xfffff08a, 0x00000000, 0x00000000,
  0xffffe97b, 0xffffe85d, 0x00000000, 0x00000000,
  0xffffc59d, 0xffffe230, 0x00000000, 0x00000000,
  0xffff8f6f, 0xffffe4ef, 0x00000000, 0x00000000,
  0xffff79cf, 0xffffff05, 0x00000000, 0x00000000,
  0xffff5501, 0x000006f7, 0x00000000, 0x00000000,
  0xffff744a, 0x000006c3, 0x00000000, 0x00000000,
  0xffffc8c5, 0x00000648, 0x00000000, 0x00000000,
  0x00004440, 0x0000055b, 0x00000000, 0x00000000,
  0x0000c0bb, 0x00000360, 0x00000000, 0x00000000,
  0x0000b77e, 0x000001c1, 0x00000000, 0x00000000,
  0x0000a281, 0x0000004f, 0x00000000, 0x00000000,
  0x00007a9c, 0x00000021, 0x00000000, 0x00000000,
  0x00004704, 0x00000013, 0x00000000, 0x00000000,
  0x00001eea, 0x00000005, 0x00000000, 0x00000000,
  0x00000647, 0xfffffff2, 0x00000000, 0x00000000,
  0x000002ca, 0xffffffb0, 0x00000000, 0x00000000,
  0x00000145, 0xffffff1e, 0x00000000, 0x00000000,
  0xffffffc0, 0xfffffe01, 0x00000000, 0x00000000,
  0xfffffd37, 0xfffffbf2, 0x00000000, 0x00000000,
  0xfffff17c, 0xfffffa67, 0x00000000, 0x00000000,
  0xffffd8b6, 0xfffffa21, 0x00000000, 0x00000000,
  0xffffad37, 0xfffffc13, 0x00000000, 0x00000000,
  0xffffad37, 0x00000003, 0x00000000, 0x00000000,
  0xffff8ef1, 0x000002fd, 0x00000000, 0x00000000,
  0xffff82d7, 0x000002f7, 0x00000000, 0x00000000,
  0xffffb5c8, 0x000002cb, 0x00000000, 0x00000000,
  0x00000ab9, 0x00000258, 0x00000000, 0x00000000,
  0x000086aa, 0x00000173, 0x00000000, 0x00000000,
  0x0000846b, 0x000000b0, 0x00000000, 0x00000000,
  0x00007a9c, 0x00000021, 0x00000000, 0x00000000,
  0x000064bd, 0x0000000f, 0x00000000, 0x00000000,
  0x00003d2e, 0x00000009, 0x00000000, 0x00000000,
  0x00001cc0, 0x00000003, 0x00000000, 0x00000000,
  0x0000055a, 0xfffffffd, 0x00000000, 0x00000000,
  0x00000257, 0xfffffff2, 0x00000000, 0x00000000,
  0x00000148, 0xffffffb8, 0x00000000, 0x00000000,
  0x00000039, 0xffffff2e, 0x00000000, 0x00000000,
  0xffffff02, 0xfffffe41, 0x00000000, 0x00000000,
  0xfffffb9f, 0xfffffd8a, 0x00000000, 0x00000000,
  0xffffef52, 0xfffffd0f, 0x00000000, 0x00000000,
  0xffffd5ca, 0xfffffe09, 0x00000000, 0x00000000,
  0xffffd838, 0xffffff05, 0x00000000, 0x00000000,
  0xffffc4a1, 0x00000103, 0x00000000, 0x00000000,
  0xffffb9f2, 0x00000127, 0x00000000, 0x00000000,
  0xffffc15d, 0x00000146, 0x00000000, 0x00000000,
  0xfffff4c8, 0x00000149, 0x00000000, 0x00000000,
  0x00004a33, 0x000000de, 0x00000000, 0x00000000,
  0x0000492c, 0x0000006f, 0x00000000, 0x00000000,
  0x00004704, 0x00000013, 0x00000000, 0x00000000,
  0x00003d2e, 0x00000009, 0x00000000, 0x00000000,
  0x000027bd, 0x00000007, 0x00000000, 0x00000000,
  0x00001336, 0x00000005, 0x00000000, 0x00000000,
  0x0000035f, 0x00000008, 0x00000000, 0x00000000,
  0x00000172, 0x00000030, 0x00000000, 0x00000000,
  0x000000dd, 0x0000004a, 0x00000000, 0x00000000,
  0x00000048, 0x0000003b, 0x00000000, 0x00000000,
  0xffffffa4, 0xffffffc4, 0x00000000, 0x00000000,
  0xfffffe69, 0xffffff59, 0x00000000, 0x00000000,
  0xfffffb1d, 0xfffffe09, 0x00000000, 0x00000000,
  0xffffeed5, 0xfffffe07, 0x00000000, 0x00000000,
  0xfffff089, 0xfffffe07, 0x00000000, 0x00000000,
  0xffffe85c, 0xffffff09, 0x00000000, 0x00000000,
  0xffffe22f, 0xffffff57, 0x00000000, 0x00000000,
  0xffffe4ee, 0xffffffc1, 0x00000000, 0x00000000,
  0xffffecad, 0x0000003a, 0x00000000, 0x00000000,
  0x0000206c, 0x00000049, 0x00000000, 0x00000000,
  0x00001fdf, 0x0000002e, 0x00000000, 0x00000000,
  0x00001eea, 0x00000005, 0x00000000, 0x00000000,
  0x00001cc0, 0x00000003, 0x00000000, 0x00000000,
  0x00001336, 0x00000005, 0x00000000, 0x00000000,
  0x00000add, 0x00000007, 0x00000000, 0x00000000,
  0x000001c0, 0x00000013, 0x00000000, 0x00000000,
  0x000000af, 0x0000006e, 0x00000000, 0x00000000,
  0x0000006e, 0x000000dc, 0x00000000, 0x00000000,
  0x0000002d, 0x00000148, 0x00000000, 0x00000000,
  0xffffffe2, 0x00000147, 0x00000000, 0x00000000,
  0xffffff3e, 0x00000128, 0x00000000, 0x00000000,
  0xfffffe15, 0xffffff03, 0x00000000, 0x00000000,
  0xfffffacf, 0xfffffe05, 0x00000000, 0x00000000,
  0xfffffbf1, 0xfffffa93, 0x00000000, 0x00000000,
  0xfffffa66, 0xfffffa9e, 0x00000000, 0x00000000,
  0xfffffa20, 0xfffffbd9, 0x00000000, 0x00000000,
  0xfffffc12, 0xfffffd38, 0x00000000, 0x00000000,
  0xffffff04, 0xffffff03, 0x00000000, 0x00000000,
  0x000006f6, 0xffffffa5, 0x00000000, 0x00000000,
  0x000006c2, 0xffffffe3, 0x00000000, 0x00000000,
  0x00000647, 0xfffffff2, 0x00000000, 0x00000000,
  0x0000055a, 0xfffffffd, 0x00000000, 0x00000000,
  0x0000035f, 0x00000008, 0x00000000, 0x00000000,
  0x000001c0, 0x00000013, 0x00000000, 0x00000000,
  0x0000004e, 0x00000046, 0x00000000, 0x00000000,
  0x00000020, 0x000001ab, 0x00000000, 0x00000000,
  0x00000012, 0x00000317, 0x00000000, 0x00000000,
  0x00000004, 0x000004c6, 0x00000000, 0x00000000,
  0xfffffff1, 0x00000540, 0x00000000, 0x00000000,
  0xffffffaf, 0x00000572, 0x00000000, 0x00000000,
  0xffffff1d, 0xfffffd7d, 0x00000000, 0x00000000,
  0xfffffe00, 0xfffffb88, 0x00000000, 0x00000000,
  0xfffffe40, 0xffffe26e, 0x00000000, 0x00000000,
  0xfffffd89, 0xffffe1ac, 0x00000000, 0x00000000,
  0xfffffd0e, 0xffffe97c, 0x00000000, 0x00000000,
  0xfffffe08, 0xfffff17d, 0x00000000, 0x00000000,
  0x00000002, 0xfffffba0, 0x00000000, 0x00000000,
  0x000002fc, 0xfffffe6a, 0x00000000, 0x00000000,
  0x000002f6, 0xffffff3f, 0x00000000, 0x00000000,
  0x000002ca, 0xffffffb0, 0x00000000, 0x00000000,
  0x00000257, 0xfffffff2, 0x00000000, 0x00000000,
  0x00000172, 0x00000030, 0x00000000, 0x00000000,
  0x000000af, 0x0000006e, 0x00000000, 0x00000000,
  0x00000020, 0x000001ab, 0x00000000, 0x00000000,
  0x0000000e, 0x00000a6f, 0x00000000, 0x00000000,
  0x00000008, 0x0000129a, 0x00000000, 0x00000000,
  0x00000002, 0x00001bfe, 0x00000000, 0x00000000,
  0xfffffffc, 0x00001de0, 0x00000000, 0x00000000,
  0xfffffff1, 0x00001e8d, 0x00000000, 0x00000000,
  0xffffffb7, 0xffffebf2, 0x00000000, 0x00000000,
  0xffffff2d, 0xffffe430, 0x00000000, 0x00000000,
  0xffffffc3, 0xffffb9dc, 0x00000000, 0x00000000,
  0xffffff58, 0xffffb86e, 0x00000000, 0x00000000,
  0xfffffe08, 0xffffc59e, 0x00000000, 0x00000000,
  0xfffffe06, 0xffffd8b7, 0x00000000, 0x00000000,
  0xffffff04, 0xffffef53, 0x00000000, 0x00000000,
  0x00000102, 0xfffffb1e, 0x00000000, 0x00000000,
  0x00000126, 0xfffffe16, 0x00000000, 0x00000000,
  0x00000145, 0xffffff1e, 0x00000000, 0x00000000,
  0x00000148, 0xffffffb8, 0x00000000, 0x00000000,
  0x000000dd, 0x0000004a, 0x00000000, 0x00000000,
  0x0000006e, 0x000000dc, 0x00000000, 0x00000000,
  0x00000012, 0x00000317, 0x00000000, 0x00000000,
  0x00000008, 0x0000129a, 0x00000000, 0x00000000,
  0x00000006, 0x000026a7, 0x00000000, 0x00000000,
  0x00000004, 0x00003c19, 0x00000000, 0x00000000,
  0x00000007, 0x000045cc, 0x00000000, 0x00000000,
  0x0000002f, 0x000047d8, 0x00000000, 0x00000000,
  0x00000049, 0xfffff3b8, 0x00000000, 0x00000000,
  0x0000003a, 0xffffc14a, 0x00000000, 0x00000000,
  0x00000146, 0xffff82c8, 0x00000000, 0x00000000,
  0x00000127, 0xffff7bd5, 0x00000000, 0x00000000,
  0xffffff02, 0xffff8f70, 0x00000000, 0x00000000,
  0xfffffe04, 0xffffad38, 0x00000000, 0x00000000,
  0xfffffe06, 0xffffd5cb, 0x00000000, 0x00000000,
  0xffffff08, 0xffffeed6, 0x00000000, 0x00000000,
  0xffffff56, 0xfffffad0, 0x00000000, 0x00000000,
  0xffffffc0, 0xfffffe01, 0x00000000, 0x00000000,
  0x00000039, 0xffffff2e, 0x00000000, 0x00000000,
  0x00000048, 0x0000003b, 0x00000000, 0x00000000,
  0x0000002d, 0x00000148, 0x00000000, 0x00000000,
  0x00000004, 0x000004c6, 0x00000000, 0x00000000,
  0x00000002, 0x00001bfe, 0x00000000, 0x00000000,
  0x00000004, 0x00003c19, 0x00000000, 0x00000000,
  0x00000006, 0x000063ac, 0x00000000, 0x00000000,
  0x00000012, 0x0000798f, 0x00000000, 0x00000000,
  0x0000006d, 0x00008369, 0x00000000, 0x00000000,
  0x000000db, 0x000008ae, 0x00000000, 0x00000000,
  0x00000147, 0xffffb4bb, 0x00000000, 0x00000000,
  0x0000053f, 0xffff72c7, 0x00000000, 0x00000000,
  0x00000571, 0xffff414a, 0x00000000, 0x00000000,
  0xfffffd7c, 0xffff5581, 0x00000000, 0x00000000,
  0xfffffb87, 0xffff79d0, 0x00000000, 0x00000000,
  0xfffffa92, 0xffffad38, 0x00000000, 0x00000000,
  0xfffffa9d, 0xffffd839, 0x00000000, 0x00000000,
  0xfffffbd8, 0xfffff08a, 0x00000000, 0x00000000,
  0xfffffd37, 0xfffffbf2, 0x00000000, 0x00000000,
  0xffffff02, 0xfffffe41, 0x00000000, 0x00000000,
  0xffffffa4, 0xffffffc4, 0x00000000, 0x00000000,
  0xffffffe2, 0x00000147, 0x00000000, 0x00000000,
  0xfffffff1, 0x00000540, 0x00000000, 0x00000000,
  0xfffffffc, 0x00001de0, 0x00000000, 0x00000000,
  0x00000007, 0x000045cc, 0x00000000, 0x00000000,
  0x00000012, 0x0000798f, 0x00000000, 0x00000000,
  0x00000045, 0x0000a170, 0x00000000, 0x00000000,
  0x000001aa, 0x0000b679, 0x00000000, 0x00000000,
  0x00000316, 0x000041c1, 0x00000000, 0x00000000,
  0x000004c5, 0xffffc644, 0x00000000, 0x00000000,
  0x00001ddf, 0xffff6ea8, 0x00000000, 0x00000000,
  0x00001e8c, 0xffff1b77, 0x00000000, 0x00000000,
  0xffffebf1, 0xffff3020, 0x00000000, 0x00000000,
  0xffffe42f, 0xffff5502, 0x00000000, 0x00000000,
  0xffffe26d, 0xffff8ef2, 0x00000000, 0x00000000,
  0xffffe1ab, 0xffffc4a2, 0x00000000, 0x00000000,
  0xffffe97b, 0xffffe85d, 0x00000000, 0x00000000,
  0xfffff17c, 0xfffffa67, 0x00000000, 0x00000000,
  0xfffffb9f, 0xfffffd8a, 0x00000000, 0x00000000,
  0xfffffe69, 0xffffff59, 0x00000000, 0x00000000,
  0xffffff3e, 0x00000128, 0x00000000, 0x00000000,
  0xffffffaf, 0x00000572, 0x00000000, 0x00000000,
  0xfffffff1, 0x00001e8d, 0x00000000, 0x00000000,
  0x0000002f, 0x000047d8, 0x00000000, 0x00000000,
  0x0000006d, 0x00008369, 0x00000000, 0x00000000,
  0x000001aa, 0x0000b679, 0x00000000, 0x00000000,
  0x00000a6e, 0x0000d648, 0x00000000, 0x00000000,
  0x00001299, 0x0000660a, 0x00000000, 0x00000000,
  0x00001bfd, 0xffffe9d9, 0x00000000, 0x00000000,
  0x000045cb, 0xffffff03, 0x00000000, 0x00000000,
  0x000047d7, 0xffff82fd, 0x00000000, 0x00000000,
  0xfffff3b7, 0xffff70f7, 0x00000000, 0x00000000,
  0xffffc149, 0xffff744b, 0x00000000, 0x00000000,
  0xffffb9db, 0xffff82d8, 0x00000000, 0x00000000,
  0xffffb86d, 0xffffb9f3, 0x00000000, 0x00000000,
  0xffffc59d, 0xffffe230, 0x00000000, 0x00000000,
  0xffffd8b6, 0xfffffa21, 0x00000000, 0x00000000,
  0xffffef52, 0xfffffd0f, 0x00000000, 0x00000000,
  0xfffffb1d, 0xfffffe09, 0x00000000, 0x00000000,
  0xfffffe15, 0xffffff03, 0x00000000, 0x00000000,
  0xffffff1d, 0xfffffd7d, 0x00000000, 0x00000000,
  0xffffffb7, 0xffffebf2, 0x00000000, 0x00000000,
  0x00000049, 0xfffff3b8, 0x00000000, 0x00000000,
  0x000000db, 0x000008ae, 0x00000000, 0x00000000,
  0x00000316, 0x000041c1, 0x00000000, 0x00000000,
  0x00001299, 0x0000660a, 0x00000000, 0x00000000,
  0x000026a6, 0x0000fa0f, 0x00000000, 0x00000000,
  0x00003c18, 0x00007c09, 0x00000000, 0x00000000,
  0x0000798e, 0x00007d05, 0x00000000, 0x00000000,
  0x00008368, 0xffffff03, 0x00000000, 0x00000000,
  0x000008ad, 0xffffec27, 0x00000000, 0x00000000,
  0xffffb4ba, 0xffffc8c6, 0x00000000, 0x00000000,
  0xffff82c7, 0xffffb5c9, 0x00000000, 0x00000000,
  0xffff7bd4, 0xffffc15e, 0x00000000, 0x00000000,
  0xffff8f6f, 0xffffe4ef, 0x00000000, 0x00000000,
  0xffffad37, 0xfffffc13, 0x00000000, 0x00000000,
  0xffffd5ca, 0xfffffe09, 0x00000000, 0x00000000,
  0xffffeed5, 0xfffffe07, 0x00000000, 0x00000000,
  0xfffffacf, 0xfffffe05, 0x00000000, 0x00000000,
  0xfffffe00, 0xfffffb88, 0x00000000, 0x00000000,
  0xffffff2d, 0xffffe430, 0x00000000, 0x00000000,
  0x0000003a, 0xffffc14a, 0x00000000, 0x00000000,
  0x00000147, 0xffffb4bb, 0x00000000, 0x00000000,
  0x000004c5, 0xffffc644, 0x00000000, 0x00000000,
  0x00001bfd, 0xffffe9d9, 0x00000000, 0x00000000,
  0x00003c18, 0x00007c09, 0x00000000, 0x00000000,
  0x000063ab, 0x0000fc07, 0x00000000, 0x00000000,
};
const unsigned kExpectedCount_NEON_sdot_2S = 361;

#endif  // VIXL_SIM_SDOT_2S_TRACE_AARCH64_H_
